Foundations of Aspect - Oriented Languages Workshop at AOSD 2005
نویسندگان
چکیده
منابع مشابه
FOAL 2005 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2005
The proof of the behaviour-preserving property of programming laws is not trivially demonstrated. It is necessary to show that the programs, before and after the transformation, have the same behaviour. In this paper we show how it is possible to prove that an aspect-oriented programming law preserves behaviour; an operational semantics for Method Call Interception is used. An equivalence relat...
متن کاملFoal 2003 Proceedings Foundations of Aspect-oriented Langauges Workshop at Aosd 2003 Composition Graphs, a Foundation for Reasoning about Aspect-oriented Composition . . . . . . 1
Aspect-oriented languages offer new modularization concepts and composition approaches to provide more flexible solutions for the separation and integration of concerns. There are significant differences among aspect-oriented languages, due to the specific language constructs that they adopt. In this paper, we propose a common model, called Composition Graph, to represent different aspect-orien...
متن کاملFOAL 2003 Proceedings Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003
Aspect-oriented languages offer new modularization concepts and composition approaches to provide more flexible solutions for the separation and integration of concerns. There are significant differences among aspect-oriented languages, due to the specific language constructs that they adopt. In this paper, we propose a common model, called Composition Graph, to represent different aspect-orien...
متن کاملFOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004
Aspect-oriented programming is a paradigm in software engineering and FOAL logos courtesy of Luca Cardelli programming languages that promises better support for separation of concerns. The third Foundations of Aspect-Oriented Languages (FOAL) workshop was held at the Third International Conference on Aspect-Oriented Software Development in Lancaster, UK, on March 23, 2004. This workshop was de...
متن کاملA Conceptual Formalization of Crosscutting in AOSD
We propose a formalization of crosscutting based on a conceptual framework for AOSD. Crosscutting is clearly distinguished from the related concepts scattering and tangling. The definitions of these concepts are formalized and visualized with matrices and matrix operations. This allows more precise reasoning about crosscutting. Topics of interest: Aspect-Oriented Requirement Engineering, Aspect...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005